[IA64] introduce compile time option to disable optvfault.
authorIsaku Yamahata <yamahata@valinux.co.jp>
Mon, 25 Aug 2008 10:04:37 +0000 (19:04 +0900)
committerIsaku Yamahata <yamahata@valinux.co.jp>
Mon, 25 Aug 2008 10:04:37 +0000 (19:04 +0900)
commitbb0db58c1ef863b98021b42aa80682fcf40027b4
tree7df290f6455f75cd291f1cc9be965b2032bbdd1b
parentec1099704c3dafabf405579548bff70faf6142ce
[IA64] introduce compile time option to disable optvfault.

Debugging optvfault path is extremely difficult because
it was run with psr.ic = 0.
Make it easy to differentiate the bug in optvfault path from
other normal execution path with psr.ic = 0 by introducing compile
time option to disable optvfault.

Signed-off-by: Isaku Yamahata <yamahata@valinux.co.jp>
xen/arch/ia64/Rules.mk
xen/arch/ia64/vmx/vmx_ivt.S